- следствие из теоремы
- corollary to theorem
Русско-английский словарь по прикладной механике. 2014.
следствие из теоремы
Look at other dictionaries:
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
СЛЕДСТВИЕ — (непосредственное следствие), в математике теорема, которая сама собой доказывается в результате доказательства какой либо другой теоремы или предположения. В более общем смысле это прямой или естественный вывод … Научно-технический энциклопедический словарь
Теоремы Силова — В теории групп теоремы Силова представляют собой неполный вариант обратной теоремы к теореме Лагранжа и для некоторых делителей порядка группы G гарантируют существование подгрупп такого порядка. Теоремы доказаны норвежским математиком Силовом в… … Википедия
Теоремы Карно — У этого термина существуют и другие значения, см. цикл Карно. Теоремы Карно две теоремы эвклидовой геометрии, названные в честь Лазара Карно (1753 1823). Содержание 1 Первая теорема (более известна как формула Карно) … Википедия
Теоремы теории графов — Здесь собраны теоремы из теории графов. Содержание 1 Лемма о рукопожатиях 2 Существование эйлерова пути и цикла … Википедия
ЛОГИЧЕСКОЕ СЛЕДСТВИЕ — из данного множества посылок высказывание, являющееся истинным при любой интерпретации нелогич. символов (т. е. имен объектов, функций, предикатов), при к рой истинны посылки. Если высказывание Аявляется Л. с. из множества высказываний Г, то… … Математическая энциклопедия
Теорема Тейлора — Экспоненциальная функция y = ex (сплошная красная линия) и соответствующий многочлен Тейлора четвёртого порядка (штрих пунктирная зелёная линия) вблизи начала координат … Википедия
Теорема косинусов — Теорема косинусов теорема евклидовой геометрии, обобщающая теорему Пифагора: Для плоского тре … Википедия
Теория групп — Группа (математика) Теория групп Осно … Википедия
Теорема Лейбница о сходимости знакочередующихся рядов — У этого термина существуют и другие значения, см. Теорема Лейбница. Теорема Лейбница (признак Лейбница) теорема об условной сходимости знакочередующихся рядов, сформулированная немецким математиком Лейбницем. Содержание 1 Формулировка 2 Следствие … Википедия
МИНИМАЛЬНАЯ ПОВЕРХНОСТЬ — поверхность, у к рой средняя кривизна Нравна нулю во всех точках. Первые исследования о М. п. восходят к Ж. Лагранжу (J. Lagrange, 1768), к рый рассмотрел следующую вариационную задачу: найти поверхность наименьшей площади, натянутую на данный… … Математическая энциклопедия
